package typesys;

public class TypeJudgement {

	// principal hierarchy made a separate parameter from gamma
	// in the implementation
	private PrincipalHierarchy hierarchy;

	public PrincipalHierarchy getHierarchy() {
		return hierarchy;
	}

	public void setHierarchy(PrincipalHierarchy hierarchy) {
		this.hierarchy = hierarchy;
	}
	
}
